Home » Fiche   membre

Pierre Marie PEDROT

CHERCHEUR


: Pierremarie.Pedrotatls2n.fr

Adresse :

IMT Atlantique Bretagne-Pays de la Loire Ecole Mines-Telecom ( IMT ATLANTIQUE )
La Chantrerie
4, rue Alfred Kastler
B.P. 20722
44307 NANTES Cedex 3


Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] T. Zimmermann, J. Coolen, J. Gross, P. Pédrot, G. Gilbert. The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. In IEEE Software ; éd. Institute of Electrical and Electronics Engineers, 2022.
      https://inria.hal.science/hal-03479327v2
    • [3] P. Pédrot, N. Tabareau, H. Fehrmann, Ã. Tanter. A Reasonably Exceptional Type Theory. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2019, vol. 3.
      https://inria.hal.science/hal-02189128v1

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [4] A. Adjedj, M. Lennon-Bertrand, K. Maillard, P. Pédrot, L. Pujet. Martin-Löf à la Coq. In CPP '24: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, janvier 2024, London UK, Royaume-Uni.
      https://hal.science/hal-04214008v2
    • [5] M. Kerjean, P. Pédrot. $\partial$ is for Dialectica. In LICS 2024 - 39th Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2024, Tallinn, Estonie.
      https://inria.hal.science/hal-04583978v1
    • [6] P. Pédrot. Upon This Quote I Will Build My Church Thesis. In LICS 2024 - 39th Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2024, Tallin, Estonie.
      https://inria.hal.science/hal-04571149v1
    • [7] G. Gilbert, P. Pédrot, M. Sozeau, N. Tabareau. From Lost to the River: Embracing Sort Proliferation. In TYPES 2023 - 29th International Conference on Types for Proofs and Programs, juin 2023, Valencia, Espagne.
      https://inria.hal.science/hal-04378939v1
    • [8] M. Baillon, A. Mahboubi, P. Pédrot. Gardening with the Pythia A model of continuity in a dependent setting. In CSL 2022 - Computer Science Logic, février 2022, Göttingen, Allemagne.
      https://inria.hal.science/hal-03510671v1
    • [9] P. Pédrot. Russian Constructivism in a Prefascist Theory. In LICS 2020 - Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2020, Saarbrücken, Allemagne.
      https://inria.hal.science/hal-02548315v1
    • [10] P. Pédrot, N. Tabareau. Failure is Not an Option An Exceptional Type Theory. In ESOP 2018 - 27th European Symposium on Programming, avril 2018, Thessaloniki, Grèce.
      https://inria.hal.science/hal-01840643v1
    • [11] S. Boulier, P. Pédrot, N. Tabareau. The next 700 syntactical models of type theory. In Certified Programs and Proofs (CPP 2017), janvier 2017, Paris, France.
      https://inria.hal.science/hal-01445835v1
    • [12] P. Pédrot, N. Tabareau. An Effectful Way to Eliminate Addiction to Dependence. In Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on, juin 2017, Reykjavik, Islande.
      https://inria.hal.science/hal-01441829v1
    • [14] G. Jaber, G. Lewertowski, P. Pédrot, M. Sozeau, N. Tabareau. The Definitional Side of the Forcing. In Logics in Computer Science, mai 2016, New York, états-Unis.
      https://hal.science/hal-01319066v1
    • [15] P. Pédrot. A Functional Functional Interpretation. In CSL-LICS 2014 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, juillet 2014, Vienna, Autriche.
      https://hal.science/hal-01111802v1
    • [16] P. Pédrot. Un régime au concentré d'automate. In JFLA - Journées francophones des langages applicatifs, février 2013, Aussois, France.In Damien Pous and Christine Tasson (éds.), . , 2013.
      https://inria.hal.science/hal-00779752v1

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [17] S. Boulier, P. Pédrot, N. Tabareau. Modèles de la théorie des types donnés par traduction de programme. In 28ièmes Journées Francophones des Langages Applicatifs, janvier 2017, Gourette, France.
      https://hal.science/hal-01503089v1
    • [18] A. Saurin, P. Pédrot. Nécessité faite loi: de la réduction linéaire de tête à l'évaluation paresseuse.. In JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, janvier 2014, Fréjus, France.
      https://hal.science/hal-01110337v1

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [21] P. Boutillier, S. Glondu, B. Grégoire, H. Herbelin, P. Letouzey, P. Pédrot, Y. Régis-Gianas, M. Sozeau, A. Spiwack, E. Tassi. Coq 8.4 Reference Manual. Rapport technique, 2014 ; Inria.
      https://inria.hal.science/hal-01114602v1
Copyright : LS2N 2017 - Mentions Légales - 
 -